Automated Synthesis of Fault-Tolerant CED Circuits Based on R-code
نویسندگان
چکیده
منابع مشابه
Automated Synthesis of Timed and Distributed Fault-Tolerant Systems
This dissertation concentrates on the problem of automated synthesis and repair of fault-tolerant systems. In particular, given the required specification of the system, our goal is to synthesize a fault-tolerant system, or repair an existing one. We study this problem for two classes of timed and distributed systems. In the context of timed systems, we focus on efficient synthesis of fault-tol...
متن کاملInvariant-Based Synthesis of Fault-Tolerant Systems
Statecharts are a very widely used formalism for reactive system development, however there are problems in using them as a fully formal speciication notation because of the connicting variants of statechart semantics which exist. In this paper a modular subset of stat-echart notation is deened which has a simple semantics, and permits compositional development and veriication. Techniques for d...
متن کاملAutomatic Ga Based Evolution of Fault Tolerant Digital Circuits
Genetic Algorithm based automatic evolution of fault tolerant digital circuits has been examined at three different levels. At the first level, multiple working designs are automatically generated, offline, without additional human design effort and each is documented with the unused resources information. This information is used for fault tolerance. Depending on the number of versions generat...
متن کاملFault Tolerant DNA Computing Based on Digital Microfluidic Biochips
Historically, DNA molecules have been known as the building blocks of life, later on in 1994, Leonard Adelman introduced a technique to utilize DNA molecules for a new kind of computation. According to the massive parallelism, huge storage capacity and the ability of using the DNA molecules inside the living tissue, this type of computation is applied in many application areas such as me...
متن کاملSynthesis of Fault - Tolerant Concurrent
Methods for mechanically synthesizing concurrent programs from temporal logic speciications have been proposed (cf. EC82, MW84, PR89, PR89b, AM94]). An important advantage of these synthesis methods is that they obviate the need to manually construct a program and compose a proof of its correctness. A serious drawback of these methods in practice, however, is that they produce concurrent progra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Problems of advanced micro- and nanoelectronic systems development
سال: 2019
ISSN: 2078-7707
DOI: 10.31114/2078-7707-2019-3-54-59